Simpler Category Theory
ryanbrewer.dev·15h·
Discuss: Hacker News
🔬Static Analysis
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·1d
🔍Formal Verification
how to decide on the sequence of computable numbers
academia.edu·1h·
Discuss: r/programming
🔄Finite State Machines
An Update on Pytype
github.com·11h·
Discuss: Hacker News
🔠Type-Level Programming
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·14h·
Discuss: Lobsters, Hacker News
🐫OCaml
A Systematic Study of Post-Training Quantization for Diffusion LLMs
arxiv.org·2h·
Discuss: Hacker News
🐫Embedded OCaml
Memory as Structured Trajectories: Persistent Homology and Contextual Sheaves
arxiv.org·2d
🐫OCaml
Alphabet of Human Thought
en.wikipedia.org·13h·
Discuss: Hacker News
✓Automated Theorem Proving
Modeling GRNs with a Probabilistic Categorical Framework
arxiv.org·1d
🏹Effect Systems
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·2d·
Discuss: r/programming
🐫OCaml
Tracing the evolution of single-cell 3D genomes in Kras-driven cancers
nature.com·2h·
Discuss: Hacker News
🔬Unikernels
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·9h·
Discuss: Hacker News
🔠Type-Level Programming
Monad Annoyance
macwright.com·21h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·1d·
Discuss: Hacker News, Hacker News
🏹Effect Systems
Characterizing NC1 with Typed Monoids
arxiv.org·3d
🐫OCaml
Don't ask to ask, just ask
dontasktoask.com·4h·
Discuss: Hacker News, r/programming
🔬Static Analysis
A mathematical paradox allows infinite cloning
quantamagazine.org·1d·
Discuss: Hacker News
🔬Unikernels
Rspack Introduces Rslint, a TypeScript-First Linter Written in Go
socket.dev·6h·
Discuss: Hacker News
🔠Type-Level Programming
Presheaf automata
arxiv.org·3d
🔄Finite State Machines
Teaching: A Few Useful Analogies
jonathandinu.com·11h·
Discuss: Hacker News
🔬Static Analysis